dvi2tty is compiled with VAXC which converts uppercase command line
arguments to lowercase. To pass an uppercase argument to dvi2tty,
the argument must be enclosed in quotation marks ( i.e. ``-P'' ). Arguments
enclosed in brackets ( [ ] ) are optional.